<meta http-equiv="refresh" content="0; url=Directory-Names.html#Definition%20of%20abbreviate%2dfile%2dname">
